- LNCS1009
- -M. Broy/S. Jähnichen (Eds.): KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Springer-Verlag 1995
Acronyms von A bis Z. 2013.
Acronyms von A bis Z. 2013.
LNCS1009 — M. Broy/S. Jähnichen (Eds.): KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Springer Verlag 1995 … Acronyms